381. The Logic programming paradigm :
Author: K.R. Apt [and others] eds.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming.,Logisch programmeren.,Programmation logique.
Classification :
QA76
.
63
K737
1999
382. The logic of programming
Author: Hehner, Eric C. R.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming )Electronic computers(,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
H427
1984
383. The logic of programming
Author: / Eric C. R. Hehner
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Programming(Electronic computer),Logic,Symbolic and mathematical
Classification :
QA
76
.
76
.
H427
1984
384. The logic of programming
Author: Hehner, Eric C. R.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Programming )Electronic computers(,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
H427
1984
385. The logic of programming
Author: Hehner, Eric C R
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Computer programming,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
H42
1984
386. Third Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan, April 2-4, 1998
Author: editors, Masahiko Sato, Yoshihito Toyama
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Functional programming )Computer science(,Congresses ، Logic programming
Classification :
QA
76
.
62
.
F84
1998
387. Third Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan, April 2-14, 1998
Author: editors, Masahiko Sato, Yoshihito Toyama
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Functional programming )Computer science( - Congresses , Logic programming - Congresses
Classification :
QA
76
.
62
.
F84
1998
388. Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 Proceedings
Author: edited by Ehud Shapiro
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Logic programming
Classification :
QA
76
.
L4
v
.
225
389. Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986: Proceedings
Author: edited by Ehud Y. Shapiro
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
225
390. Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 :
Author: edited by Ehud Shapiro.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming -- Congresses.,Logic programming.,Programmation logique -- Congrès.
Classification :
QA76
.
6
E358
1986
391. Tools for structured design: an introduction to programming logic
Author: Bohl, Marilyn
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Structured programming
Classification :
QA
76
.
6
.
B63
1993
392. WCFLP'05 : proceedings of the ACM SIGPLAN 2005: Workshop on Curry and Functional Logic Programming, September 29, 2005, Tallinn, Estonia
Author: sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages )SIGPLAN(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Functional programming languages,Congresses ، Functional programming )Computer science(
Classification :
QA
76
.
62
.
A37
2005
393. Why prolog?: justifying logic programming for practical applications
Author: Lazarev, Gregory L
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Prolog )Computer program language(,، Logic programming
Classification :
QA
76
.
73
.
P76
L38
1989
394. Year Perspective on Logic Programming-A 25
Author: / Agostino Dovier, Enrico Pontelli
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: METHODS&COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
Classification :
E-BOOK
395. Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP-A 25
Author: / Gianfranco Rossi (auth.), Agostino Dovier, Enrico Pontelli (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
396. <4=foure> Th UK conference on logic programming
Author: edited by Krysia Broda
Library: Vali Asr University Central Library (Kerman)
Subject: Logic programming
Classification :
QA
76
.
663
.
P7
1993
397. logic programming :
Author: eds. Maria Garcia de la Banda, Enrico Pontelli.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
398. 6800 programming for logic design
Author: Osborne, Adam.
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Logic design,، MC0086 )Computer(- Programming,، Microcomputers- Programming,، Assembler language )Computer program language(
